Master Thesis on Development Support for Hardware Oriented Software Application
نویسندگان
چکیده
xi
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملA case study on GUI enhancement through framework composition
One of the main goals of software engineering has been reuse of software. Object-oriented frameworks enable reuse of analysis and design on a large-scale component basis, and hence rapid application development. Over the last decade we have observed a transition from textual to graphical user interfaces (GUI). It is becoming more important to support new GUI features as they become available, n...
متن کاملDeveloping semantics of Verilog HDL in formal compositional design of mixed hardware/software systems
The design and analysis of embedded, mixed hardware/software systems, such as PC cards, application specific hardware, mand e-commerce devices, mobile telecommunication infrastructure and associated software drivers, is hard. An important issue for correct codesign is the search for a highly compositional and unifying formal approach that crosses the hardware/software boundaries and enables us ...
متن کاملDEFINING AND USING REQUIREMENTS PATTERNS FOR EMBEDDED SYSTEMS By SASCHA
DEFINING AND USING REQUIREMENTS PATTERNS FOR EMBEDDED SYSTEMS By SASCHA J. KONRAD It is well-known that requirements modeling and analysis is one of the most difficult tasks in the software development process, but this problem is greatly exacerbated for embedded systems given the hardware constraints and the potentially complex control logic. This research investigates how an approach similar ...
متن کاملPattern Based Security Requirement Derivation with Security Risk-aware Secure Tropos
Information systems (IS’s) support a multitude of functions vital to the modern society. IS’s carry an ever increasing volume of data and information, including personal pictures, health data or financial transactions. Continuously increasing rates of cyber-attacks have led to the subsequent need to rapidly develop secure IS. To develop secure IS’s, security goals need to be identified and fulf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006